Chinese translation for "event structure"
|
- 事件结构
Related Translations:
- Example Sentences:
| 1. | Event structure is captured by the deployment descriptor
部署描述符获取事件结构 | | 2. | Event structure is embedded in the code
事件结构被嵌入代码中 | | 3. | Levin , b . " objecthood : an event structure perspective . " cls 35 , the main session 1 ( 1999 )
受词性质：事件结构的看法加拿大图书协会35 《主要会议》第一期( 1999 ) 。 | | 4. | Timed bundle event structures , is used as the system model and a real - time lotos - like process algebra is used as the specification language
动作精化是在并发理论当中一种很重要的层次化设计和刻画方法。 | | 5. | University of twente , 1996 . 5 fecher h , majster - cederbaum m , wu j . bundle event structures : a revised cpo approach . information processing letters , 2002 , 83 : 7 - 12 . 6 katoen j - p , langerak r , brinksma e , latella d , bolognesi t . a consistent causality based view on a timed process algebra including urgent interactions
基于此，本文扩展了传统的动作精化理论，研究具有时间指标的并发系统的动作精化理论，在我们研究的并发系统中，时间指标是系统的一个重要参数，动作的执行也是需要消耗时间的，并且紧急事件也被扩充到可以是任何事件，而不仅仅是超时事件。 | | 6. | 21 majster - cederbaum m , salger f . towards the hierarchical verification of reactive systems . theoretical computer science , 2004 , 318 : 243 - 296 . 22 winskel g . an introduction to event structures . lecture notes in computer science 354 , 1989 , pp . 364 - 397 . 23 hoare c a r . communicating sequential processes , prentice - hall , 1985
本文分别在语法和语义层次上对动作精化进行了定义，并证明了这两个层次的动作精化在前述两种等价关系下，关于一种基于完全偏序的指称语义是一致的。 |
- Similar Words：
- "event specialist" Chinese translation, "event sponsorship" Chinese translation, "event storage and distribution unit" Chinese translation, "event stratification" Chinese translation, "event stratigraphy" Chinese translation, "event subscription" Chinese translation, "event summary for the button object" Chinese translation, "event synchronization" Chinese translation, "event system" Chinese translation, "event table" Chinese translation
|
|
|
